1. Satisfiability problem
المؤلف: / Dingzhu Du, Jun Gu, Panos M. Pardalos, editors
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Propositional calculus- Congresses,Decision making- Congresses,Computer algorithms- Congresses,Computer science- Congresses
رده :
QA9
.
3
.
S38
1997
2. Satisfiability problem :
المؤلف: Dingzhu Du, Jun Gu, Panos M. Pardalos, editors
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer algorithms, Congresses,Computer science, Congresses,Decision making, Congresses,Propositional calculus, Congresses
رده :
QA9
.
3
.
S38
1997
3. Theory and applications of satisfiability testing -- SAT 2006 : 9th International Conference, Seattle, WA, USA, August 12-15, 2006 : proceedings
المؤلف: Armin Biere, Carla P. Gomes )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Propositional calculus,Congresses ، Decision making,Congresses ، Computer algorithms
رده :
QA
76
.
L28
Vol
.
4121
4. Theory and applications of satisfiability testing : 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005 : proceedings
المؤلف: Fahiem Bacchus, Toby Walsh )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Propositional calculus,Congresses ، Decision making,Congresses ، Computer algorithms
رده :
QA
76
.
L28
Vol
.
3569
5. Theory and applications of satisfiability testing : 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004 : revised selected papers
المؤلف: Holger H. Hoos, David G. Mitchell )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Propositional calculus,Congresses ، Computer algorithms,Congresses ، Decision making
رده :
QA
76
.
L28
Vol
.
3542
6. Theory and applications of satisfiability testing : 6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8 2003 : selected revised papers
المؤلف: Enrico Giunchiglia, Armando Tacchella )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Propositional calculus,Congresses ، Decision making,Congresses ، Computer algorithms
رده :
QA
76
.
L28
Vol
.
2919
